Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
221	CS364B: Exercise Set #4 Due by the beginning of class on Wednesday, February 5, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TA (Okke). Please type your solutions Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-01-31 23:29:10 Auction theory Auctions Game theory Mechanism design Mathematics Marketing VickreyClarkeGroves auction Valuation Auction Submodular set function Vickrey auction Bayesian-optimal mechanism
222	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
223	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system
224	A Truly Dynamic Data Structure for Top-k Queries on Uncertain Data Manish Patil, Rahul Shah, Sharma V. Thankachan Louisiana State University, USA July 20, 2011 Add to Reading List Source URL: ssdbm2011.ssdbm.org Language: English - Date: 2011-09-01 18:39:35 Mathematics Data management Mathematical notation Tuple Type theory
225	Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2016-08-09 10:09:16 Software engineering Computer programming Programming language theory Object-oriented programming languages Combinatory logic Enumerated type Contract Objective-C Scope Eiffel Racket
226	Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Functional programming Type theory Parameter Type system Higher-order function Pointer
227	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
228	Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Computing Functional languages Functional programming Object-oriented programming languages Scripting languages Type theory Haskell Cabal Monad Type class
229	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
230	TYPE A GROUP NEWSLETTER #13 THE MILLENNIAL HUSTLE Add to Reading List Source URL: bobhoffmanswebsite.com Language: English - Date: 2016-07-16 19:53:50 Demography Demographics Population Human geography Millennials StraussHowe generational theory Generation Adtech Baby boomers

UPDATE